sample() ::= <<a test>>
